void device_name(unsigned char *device_name);
void store_device_name(unsigned char *device_name);